midpoint theorem